Decidable Reasoning in Terminological Knowledge Representation Systems
نویسندگان
چکیده
منابع مشابه
Decidable Reasoning in Terminological Knowledge Representation Systems
Termino log ica l Knowledge Representation Systems (TKRSs ) are tools for designing and using knowledge bases tha t make use of te rminological languages (or concept languages). The T K R S we consider in this paper is of pract i cal interest since it goes beyond the capabi l it ies of presently avai lable T K R S s . F i rs t , our T K R S is equipped w i th a h ighly expressive concept, langu...
متن کاملAn Empirical Analysis of Terminological Representation Systems Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation systems have been developed by various research groups. These systems vary along a number of dimensions. In this paper, we present the results of an empirical analysis of six such systems. Surprisingly, the systems turned...
متن کاملTerminological knowledge representation systems in a process engineering application
The aim of this project is to investigate what kind of terminological knowledge representation system (TKR-system) is able to support the modeling of huge chemical plants. In this highly complex modeling application, a TKR-system is the appropriate tool to serve as a user{database interface. What distinguishes TKR-systems from database systems is their ability to infer implicit knowledge from t...
متن کاملKnowledge Representation with Terminological Logics
! ‚Concept‘ as atomic unit of knowledge represents a class of entities of a discourse domain ! Concept is: " named after the elements of the class " graphically illustrated as ellipse, that is framing its name ! A concept, that represents a set S, is denoted as |C|S ! If S ⊂ T, then: |C|S subconcept (Sub C) of |C|T |C|T super concept (SuperC) of |C|S ! This relation is: " called concept subsump...
متن کاملA Comparison of Two Terminological Knowledge Representation Systems
.................................................................................................................................... 7 DECLARATION............................................................................................................................. 8 ACKNOWLEDGEMENTS..............................................................................................................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 1993
ISSN: 1076-9757
DOI: 10.1613/jair.21